InstantSSH plugin: Removed useless paths in profile file