Switch to MiniCorlib.cpp in test suite.