Missing HAVE_UPDWTMPX check before using updwtmpx().