fix pure php version