Added tests to check file extensions are correctly used to find CHECK
directives.