The new name better reflects intended usage (but we are keeping the old
name as an alias for compatibility).
Signed-off-by: Stefan Brüns <stefan.bruens@rwth-aachen.de>
Signed-off-by: Dmitry Torokhov <dmitry.torokhov@gmail.com>