Fix travis compilation error