mirage-net-socket.0.9.4 does not work with newer versions of mirage

This is similar to #2689 .