Push again so that Travis rebuilds the archives