mirage-net-direct.0.9.4: does not work with mirage 0.10.0