Re: [OS-BUILD PATCH 0/2] Small Makefile fixes