deleting a few extraneous files