TST: for db.getFilename