Fix travis for runLinux