Tools/scripts/install-prereqs-fedora.sh: add, just the package names are correct