Make Travis work when installer-name differs from repo