How would I build an executable for raspbian debian jessie OS?