InstantSSH plugin: Added /etc/profile file