Work around an obvious compiler bug that triggers in release mode.