fix incompatibility with Raspberry Pi