Fix GIT_SSH filename