#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