resolve issues with SSH shortcuts