Fix build in Debian Hurd