revert last commit; fix at JuMP level instead