Add workaround for pragha

Issue #111
Merge pull request #115 from rat4/patch

Add workaround for pragha