Porting the FileSystem Provider