bashrc works if OPAM not installed