| update: refactor the FileSystem's getFullFilePath API.