Update INSTALL instructions for Linux