...where $(shell printf ...) in settings.mk likely doesn't work on Windows.

Change-Id: I64a51203d1bf131160768f9a9069f428228aa6b1