small bugg in .bash_profile-osx fixed