Fix a build error on TravisCI.