bash_profile works differently on Linux or so it seems