Added a shell option to convert all WPI files in a directory;