clean up preprocessed *.v
clean up preprocessed *.v
clean up preprocessed *.v
clean up preprocessed *.v
clean up preprocessed *.v
got preprocessed *.v working
rm bad file