pulseaudio: drop the INSTALL script completely.