Configuration files used by WiredTiger coders