mongodb/mongo-php-driver — pull request #562 by bjori (2013-11-19 20:47:11+00:00)
Title: Fix build on 5.3.6 an earlier

See http://stackoverflow.com/questions/19979611/install-mongodb-php-driver-64bit-linux/20081007