fix build on RPi