Build system for Book: Low-level programming on the Raspberry Pi