v6.0
d3d72306 · Use an stdio file for output instead of redirecting STDOUT_FILENO ·