fix travis version numbers (unshallow git clones, see 402a94e46040cd6a35d)