Make ~/.profile compatible with Linux (/etc/paths convention does not exist)