Travis: yet another attempt at installing mongo extension