A build environment for deploying Radiodan to the Raspberry Pi