Couple of little modifications in MacOSX setup