Fix php 5.3 patch for 64bit systems
Merge pull request #287 from phpbrew/fix-php-5.3-64bit-patch

Fix php 5.3 patch for 64bit systems