remove now-unused files