Thanks to everyone who replied. The problem was solved by yet again another reboot. I really don't know why this one did anything, since I added the entry to the name_to_sysnum file about 3 reboots ago... I guess 4 reboots was the lucky number on this machine.
