hello ive just installed freeciv on ubuntu hoary. freeciv has made its way into the gnome menu, but the civserver bit has not. is this a known bug, or just what is meant to happen? sam