fix CI for Travis