Switch to @Traumflug's mirror

No more patches needed, maybe I'll get this to work some day