Fix rebootstrap