Ignore the last two emails, this patch removes a now-unnecessary patch file that I neglected to delete.