/libmanifold.so.3
/libmanifold.so.3.5.1
/libmanifoldc.so.3
/libmanifoldc.so.3.5.1
