Mute a warning on OSX.
strlen() was an important bottleneck.