Add a tip on how to solve a build error on the Raspberry Pi.