switch to @tkelman's travis script