Fix build on Travis-ci