mono 3.2.4 bash_profile