AUTO_fixes Makefile Makefile.in wsv.txt