Work around a FileCheck bug, for now.