fix issue with MacOSX: bug #9772
Merge branch 'develop'