Add workaround for pragha

Issue #111