Fix compilation on RPi. No, really.