The one is trivially replaceable by the other, this patch defines an
obsolete alias.