config.gcc (arm-wrs-vxworks): Don't include svr4.h.