Fix php53 on OS X 10.9

PHP was missing the logic to exclude an executable extension for OS X 10.9

Fixes issues #928