Use theos as the build system.