Get things working again on JuMP master