Fix Travis CI and bootstrap configurations.