Fix travis script again ...