Forgot the changes in glpk_wrapper.py