Make JuMP optional, is intended.