update singular-libs: ehv.lib