get rid of some unneeded stuff in misc directory