Fix Raspbian Pi build.