You are right, I was actually using a very old checkout and rebased without looking.

Do you want me to update the PR?