Fix RPi setup script