Make the patchlevel a nonoptional part of the version