Use old bootstrap.py for ubuntu combat