Remove auto-includes.chk, it's auto-generated.