A quick fix for hurd server configurations