cd auxdir
rm *.fmt