Fixed up tools/pretend-userbuild.sh more