Makefile Makefile.in auto_wsv.txt