Removed unused files, see #74.