There are many workarounds to this,but none of them is necessarily better then the original solution. There can be a script which will clean this file at every shutdown, or this file can be made to exist only on tmpfs in RAM, but then your PC will scan everytime the video and its not a guarantee that it will load the desired driver even if it works. I think the way it is - is very good, but we all just have to know about it