libpinocchio_default.so.3.6.0