fixed for MacOSX use