Re: [PATCH 02/10] Makefile: Provide numeric versions