Add a dummy bash_profile, sourcing bashrc