/* We don't need a separate version.  it is the same as getutmp().  */