issue #24: fixed compilation error on MacOS