SSH migratino now adds .result extension to result files for #137