Replace broken zeroc-ice34 DB5 patch using inline patch
Merge pull request #44 from sbesson/zerocice34_patch

Replace broken zeroc-ice34 DB5 patch using inline patch