This repository was archived by the owner on May 9, 2022. It is now read-only.

bugfix: we might miss the linker option -ldl when we shouldn't.