Removed OPAM stuff from ~/.bash_profile.