/etc/profile : Replaced by mine,
also added profileOLD .