Re: [PATCH 1/6] Makefile: Avoid using wildcard sources