.bash_profile: Make sure only files get sourced

Closes #250.