Fix bootstrap scripting