Fix HURD problem