[PATCH] Fix up 'make versioncheck' issues