mirage-net-direct.1.0.0: Fix build with FreeBSD
mirage-net-socket.1.0.0: Fix build with FreeBSD