InstantSSH plugin: Fixed: Unable to add/remove SSH permissions when the targeted user is already used by UNIX process