Travis/Linux fix