silence optimizer output

The old flags are not sufficient on new (?) versions of glpk.
(I have v4.54 installed)