Fix a build error on travis