Fix compilation on RPi