Use boostrapper.
Use new version of thicket.