Use FileCheck in a few tests.