add missing underscores in OS release symbols

These symbols are provided by Homebrew.  It seems that
a typo was propagated by copy/paste.  Fixes #3645.