Added in 0c79b140 to use it
in a function that was never used and was itself removed in
676f1f53.
Signed-off-by: Andreas Rheinhardt <andreas.rheinhardt@gmail.com>