product.conf for mac, v4.0 of sqldev