Do not use FILE *.

We may be called very early during runtime initialisation, so it does not
seem wise to rely on libc-initialised structures. Instead, only rely on
kernel-provided file descriptors.