packaging turds
libgmp and libgmpxx have multiple copies of themselves in recent TorBrowser releases (where traditionally they'd merely be symbolic links) when usually one is sufficient for linking against (and cDFA.so only uses libgmp, so libgmpxx doesn't even need to be there afaics)
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information