Changes to the bootstrap for debian