I let Windows Update (8.1) install the update and the system would not boot afterwards, missing file "windows\system32\drivers\tib_mounter".
Fortunately I have a dual boot system with Win7 and that allowed me to copy the file back when booted into Win7 to get the 8.1 working again!