ssh config hack to try to get travis to push