Fis Trivial skribis: > * gnu/packages/patches/rct-add-missing-headers.patch: New file. > * gnu/packages/cpp.scm (rct): Use the patch, enable RTTI. > [source]: Use the patch to add missing headers from installation. > [arguments]: Enable RTTI in configure-flags. I added the patch to gnu/local.mk and committed. It would be nice if you could report the issue with missing headers upstream. Ludo’.