savedcmd_wctc4xxp/wctc4xxp.mod := printf '%s\n'   base.o | awk '!x[$$0]++ { print("wctc4xxp/"$$0) }' > wctc4xxp/wctc4xxp.mod