fix build on raspberryPi