Rename install to install.txt, to avoid conflicts with "make install" target.