bugfixes combilp