The name was inconsistent with anything else, and we must simplify
and get consistent.

A symlink with the old name is provided.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>