Update full_wilcoxltexx.mk