Improve debian bootstrapping script