make -f Makefile.3000 clean
make -f Makefile.3100 clean
make -f Makefile.3200 clean
