temporary fix for setting ssh keys correctly for jerkins user, if jenkins_home is different