Officially support 13.1.0 explicitly and don't use mirrors anymore.