Add a couple of <filesystem> examples