Travis: restored installing mongo php extension