adding some missing line to the bash_profile bis