Remove #warning directive, which is nonstandard and isn't really

buying us anything to make it worth the porting risk.  Per discussion
quite some time ago.