gdtoo: file basename on json with -info-basename