Completely useless patch to update GitHub versions