Fix package name in install.txt