Put into silence load of /etc/profile

This will avoid to expose server-related settings to external people.