Windows makefile: don't use different looking variants of same cmd