Don't source /etc/profile

If we run the script using a login shell, this will be sourced by
bash. If we source this later, the paths can get messed up as the
system-wide profile will have been sourced after the user-local
profile.