Also because upstream renamed the GitHub repository we need to change some other parts, incl. updating the checksum.