makefile: use xargs in place of $(shell ...)