Fix build on TravisCI