hi, this is my first time with hurd so please ignore my ignorance. when i try to boot hurd i get the following error: "Can't open server boot script /dev/hd0s9/boot/servers.boot: Inappropriate file type of format" can anyone help ? greets philipp