mirroring/clone.sh: Fix $proj setup