I just use to rebbot the machine, and then it is gone.
I guess there should be a smarter way to do this also. I think it is not a file that has to be changed but a buffer (ram area) that has to be flushed. Of course a machine reboot is not a much smart way to clear a buffer, so it should be some other way also.