configurable DBFILE