getting rid of some extraneous files