Travis script: make git happy