Re: Filesystem.System: get_dir and get_stat behave differently?