This is correct. The file should be named using a similar convention to the other configuration files. However, because the file was so close to the convention when the configuration file names were changed, it was kept the same in order to save time. Renaming files can actually be a non trivial process, as people need to have consistent behaviour when upgrading and switching between versions of NCrunch.