REsolve compilation error