Sourcing .bashrc after bootstrap.bash and making setup.bash quiet... finally