Travis: another attempt at installing mongo extension