Fixing .profile on Linux (PATH still was not set properly)