fix for changes in JuMP