Make the default repo paths easier to see in bootstrap.sh