Patch (bug fix)

[Dekel Tsur]

The following patch allows using the URL inset inside the \thanks{} command
(it adds \protect to the LaTeX file).

patch.gz