handles this.

Don't install our own odbcinst.ini.  That's the driver manager's business.