final bugfix combilp