Add opam check
Move exports to .bash_profile