use the full version number in php builds