build: this patch was in .gitignore, oops