Do not change /etc/profile

Commit 7e40593d05d109d3fd5e821886a62e06dd40b07c changed also /etc/profile.
This commit fixes it.