tsan: work around FileCheck bug with empty outputs