Raspberry Pi compilation fix