Ahh I got ya. That page is mostly aimed at people making their own apps; as you now know, the distribution packages take care of the need for the mios_* environment variables and the mios_base package - so they are easier to compile. If you’re modifying an existing app, that is the easiest way to test the toolchain.