A build environment for deploying to the Raspberry Pi