fix INSTALL filename