Stick to -DWCE_PLATFORM_$wceplatf, as that's what is apparently set by