hack to get ssh agent to work