Extraneous file deletion

Not needed.