clean up some extraneous files