fix PHP version check..