Extra methods, and redefined methods, for the File class on MS Windows