Fix the 64bit c++ patch for PHP5.3