Fix build errors on raspberry pi