// Travis, please load the PHP mongo extension