Compile PHP with 64bit lib