remove obsolete files (#582)