64-bit version of PHP