bash_profile instruction modification; export