Fix build in Travis