Mute a warning in legacy generic builds, addressing #807.