Fix bootstrap.py: error: no such option: -d in travis