PHP 5.3: Fix executable extension for OS X 10.9