Post-merge fix: Redirect stderr to a file as to avoid buffering
problems due to redirecting stderr to stdout.