src/hugr/*.so
