update version PHP x64