#if [ -e src/bst ]; then
 #	echo "removing .o files"
 #	rm -f src/bst/libs/serialization/src/*.o
 #fi
 for f in ./config.*; do
 	rm -f $f
 done
 for f in ./autom4*; do
 	rm -rf $f
 done
 if [ -e src/Makevars ]; then
 	rm -f src/Makevars
 fi