fix filename in install script