#580: copy constructor added to be explicit as needed by C++17 and later

#580: copy constructor added to be explicit as needed by C++17 and later #1083