workaround for compilation problem on MacOS