Fix ignored config file. Fixes issue #1276.