install_files.sh: fixing alias