Fix repository address for Travis