Fix build on travis-ci