Removed travis path fix script (used by Z3).