Fix Travis configuration which we broke by doing git push -f