Currently, the iterative refinement (IR) solver is excluded from compilation. It should be re-added including integration tests.