Use `r5rsEnv` in the runtime executable