change hostname in linux