Work around ugly PULL93 `#if`s