Fix boost package name for raspi installer