I was not able to find a libsupc++ from Fedora. I finally: sudo cp /usr/local/genode/tool/19.05/x86_64-pc-elf/lib/64/libsupc++.* /usr/lib64/ and it seems to work.