adapted is_copy_named from v___ to v'''

Unclear comment for 'fun is_copy_named_generating',
thus probably still broken; waiting for further tests.
Tests are still run from Build_Isac.

 s/\\([a-zA-Z]+)\s*/$1/g;

 s/\$//g;

 s/^BOOKMARK/\\BOOKMARK/g;