New mip treatment 2

Trivial fix: the previous pull request (#80) was not compiling because I had forgotten to commit one header.