Work around github wrong mime-type