Fix generation of doc on Mac OS X