Fix #3236: emit a helpful error message when the RTS has not been initialised