mirage-net-socket.0.9.4 does not work with newer versions of mirage
Merge pull request #2704 from planar/mirage-net-socket-dep-version

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