diff --git a/tests/libc/oracle/fc_libc.0.res.oracle b/tests/libc/oracle/fc_libc.0.res.oracle
index 7955573b0c8101d35d2a7b324dcc54e1a9266e80..27d51d73125d488deb50c9b03993abb5f11e6c64 100644
--- a/tests/libc/oracle/fc_libc.0.res.oracle
+++ b/tests/libc/oracle/fc_libc.0.res.oracle
@@ -7,10 +7,10 @@
 [eva] Initial state computed
 [eva:initial-state] Values of globals at initialization
   
-[eva] tests/libc/fc_libc.c:158: assertion got status valid.
 [eva] tests/libc/fc_libc.c:159: assertion got status valid.
 [eva] tests/libc/fc_libc.c:160: assertion got status valid.
 [eva] tests/libc/fc_libc.c:161: assertion got status valid.
+[eva] tests/libc/fc_libc.c:162: assertion got status valid.
 [eva] Recording results for main
 [eva] done for function main
 [eva] ====== VALUES COMPUTED ======
diff --git a/tests/libc/oracle/fc_libc.2.res.oracle b/tests/libc/oracle/fc_libc.2.res.oracle
index 3061c00a62693b3c162c1ee0902ec050b76d8b3a..79d97d4b4490d23eca6cadbd4f2f69b36a6c26ec 100644
--- a/tests/libc/oracle/fc_libc.2.res.oracle
+++ b/tests/libc/oracle/fc_libc.2.res.oracle
@@ -124,6 +124,7 @@ skipping share/libc/tgmath.h
 [kernel] Parsing share/libc/time.h (with preprocessing)
 [kernel] Parsing share/libc/unistd.h (with preprocessing)
 [kernel] Parsing share/libc/utime.h (with preprocessing)
+[kernel] Parsing share/libc/utmp.h (with preprocessing)
 [kernel] Parsing share/libc/utmpx.h (with preprocessing)
 [kernel] Parsing share/libc/wchar.h (with preprocessing)
 [kernel] Parsing share/libc/wctype.h (with preprocessing)