Laci, Andreas, I can reproduce this bug (CoinUtils ticket #13). I needed an push to download glpk anyway. I'll have a look. It might be a few days, depending on how much my day job gets in the way. Lou