Build system for SOKP