Fixed PHP-1120: The mongo driver fails to build as static extension.
Merged pull request #715
Merge branch 'v1.5'