The URL redirected

URL has changed, redirected, therefor curl was not working, so alternative link to the same file content.