[string] How to extract file name from path?