Remove HURD build fix patch

Note that this patch no longer applies. It might no longer be needed, but I am not sure.