Fix mongodb install for Travis.