The build system for the buildKO extension