Helper scripts to build a Ginga set-top-box