FileCheck is now configurable