tidied up patchlevel.h