Add SQL patch, and fix the "no newlines at end of file" stuff that I
accidentally put into the php files in my last commit.