Hi @nkx,
Thank you very much. I changed the line and successfully recompiled REST. Now everything works fine.