Update INSTALL

Remark for Raspberry Pi users.