fritz_tffs_read: get tffs size from input file