Oh, there's a bootstrap script