feature #2911: removed unneeded file from install.sh