Change in travis: new version of mongo