These files should not be ignored