Hack to allow building under OPAM

OPAM doesn't preserve symlinks, so readlink doesn't work.
Fixes for networking

This allows mirage-skeleton/network to handle TCP calls on x86_64 with
the new Mini-OS.