Dunno why git didn't forget these files.