TODO: need access to HSL_jll from the CI.