Switch to correct repo in travis-ci