fix for the previous commit (compilation on RPi)