When I try to re-install a driver that was rebuilt with 6001.18000
(originally built against 6001) I get all sort of strange behavior.
Sometimes the installation hangs, or the driver just exits without producing
any errors. But if I first delete wdf01000.sys and wdfldr.sys and reboot
before re-installing, then everything seems to work fine. Is there known
issues with upgrading from 6001 to 6001.18000. What is supported way of
doing this?

Thanks,
Michael