simple script to change a hostname easily