Pin down the filename for an instance of Database