Fix rasperry pi build