Repair copy_library.pl