fix sethostname.sh for fedora 18