add miplib3 tests from Data and fix some binaries in the tests