x86_64: libmanifold.so.3 libmanifoldc.so.3
