Bug fix: CbcSolver in ubuntu