Removing unnecessary stuff from .bash_profile