Bug#968074: /usr/sbin/dkms: line 247: /dev/fd/62: No such file or directory

[Harald Dunkel]

I was told this might be a udev problem on systems without systemd.