Unhappy surprise: PuTTY's PSFTP doesn't reflect batchfile errors in the exit code (+ patch)