Added a patch file forgot in pre-pre-previous commit.