Use clean bootstrap files