Fix a potential issue with SSH keys not being copied if a machine gets redeployed