Simplify the bootstrap script