php mongo extension for travis