Re: [PATCH v2 02/12] Makefile: Provide numeric versions