fix raspberry pi build