Make sure the ignored files get used. fix #2425