removing an extraneous file