fix compilation under RPi