build-all: Build on debian wheezy Raspberry Pi