add architecture 64bits on PHP.json