Some systems (e.g. Linux) use enums for some symbols (like IPPROTO_IP)

so that our #ifdef test has the wrong effect.  Substitute hardcoded
values for some important symbols (but not for the whole range -- some
are pretty obscure so it's not worth it).