/pub/pkgsrc/misc/joerg/20180325.1637/lasso-2.5.1nb1/configure.log