[Typer] [Git][monnier/typer][laurent/elab_cache] Fix read_file