When running MetaVal with benchexec, accessing streams via
/dev/std{out,err} seems to be broken, so this commit replaces access
to /dev/stderr by a perl equivalent that works without accessing
these special device files.