Fix bootstrap for Travis