Chg: do not ignore bootstrap files anymore