[tbb-commits] [tor-browser-bundle/master] It's "libgmp.10.so" and not "libgmp-10.so"!