Lately libsdl.org appears to have some uptime issues, fetching the package from GitHub instead might be better.