removed code used formerly for extra_COPYRIGHT_files