Update to current ``bootstrap.py`` to fix `Travis CI`.