GenericReader: better public filename API