[giko]

Creo que he solucionado el problema investigando acerca de scktsrvr.exe. Al parecer, la versión que tenía era de 32 bits, y estoy ejecutando en un equipo de 64 bits. He conseguido avanzar. Gracias de todas formas.