attempt to fix Travis CI Midje problem