Fix build on Travis