fixed corpus and file servers to flush stdout