use travis svg instead of png