Create github_5.patch

Patch for issue #5