I was stupid and didn't push the file described in the last commit.
Sorry.