remove some junk from misc/