Fix PHP version output.