Fix the build on Debian GNU/Hurd.