In addition to the post from Sam56 . It worked for me but then I had manually to configure the port of every printer. i.e. in Control Panel > Device and Printer, right click on the printer => Printer...