small change to remove a deprecated repo and to trigger a travis rebuild