.bash_profile: source .linux on Linux