I tried manually applying the patches, and the problem still persisted. Then I tried to clone the git repository but that failed (it said "warning: remote HEAD refers to nonexistent ref, unable to checkout."). I'm not a git user, so I don't really know what the problem is.