Bash profile tools
Fixed execution permission
Changed the way the bash_profile is included
Fixed permissions of local ~/.bash_profile