subprovers: use files for output instead of pipes