Specify extension in settings file, too