Fix travis build to use correct repository