Fix failed build on MacOS X reported by Rune Lynge