Some fixes in case there isn't a bash profile file