platform.h: Fix the define for HURD