travis: fix mirage-net version too