extension added to .ignore