build new Raspberry Pi binary
binary names #7