got rid of some extraneous files