Better php version detection