This means we can finally drop support for building from a devkit, which was quite fragile and error-prone.