IronPython: File Extension using FileSystemInfo