diff --git a/src/lib/system/linux/clang/armv6j_hardfp/Unix.Mod b/src/lib/system/linux/clang/armv6j_hardfp/Unix.Mod
index 228d824e..e4837302 100644
--- a/src/lib/system/linux/clang/armv6j_hardfp/Unix.Mod
+++ b/src/lib/system/linux/clang/armv6j_hardfp/Unix.Mod
@@ -172,6 +172,7 @@ TYPE
     jmpbuf: ARRAY 64 OF LONGINT; (* 256 / 4 = 64 *)
     maskWasSaved*: LONGINT;
     savedMask*: ARRAY 32 OF LONGINT; (* 32 * 4 = 128 *)
+    unknown*: LONGINT; (* jmp_buf seems to have unknown 4 bytes field at the end (see http://hastebin.com/conujujeyu.pl) which is not defined in header file *)
   END ;
 
   Status* = RECORD (* struct stat *)
diff --git a/src/lib/system/linux/gcc/armv6j_hardfp/Unix.Mod b/src/lib/system/linux/gcc/armv6j_hardfp/Unix.Mod
index 228d824e..e4837302 100644
--- a/src/lib/system/linux/gcc/armv6j_hardfp/Unix.Mod
+++ b/src/lib/system/linux/gcc/armv6j_hardfp/Unix.Mod
@@ -172,6 +172,7 @@ TYPE
     jmpbuf: ARRAY 64 OF LONGINT; (* 256 / 4 = 64 *)
     maskWasSaved*: LONGINT;
     savedMask*: ARRAY 32 OF LONGINT; (* 32 * 4 = 128 *)
+    unknown*: LONGINT; (* jmp_buf seems to have unknown 4 bytes field at the end (see http://hastebin.com/conujujeyu.pl) which is not defined in header file *)
   END ;
 
   Status* = RECORD (* struct stat *)
diff --git a/vocstatic.linux.gcc.armv6j_hardfp.REMOVED.git-id b/vocstatic.linux.gcc.armv6j_hardfp.REMOVED.git-id
index 140444df..e0ea9177 100644
--- a/vocstatic.linux.gcc.armv6j_hardfp.REMOVED.git-id
+++ b/vocstatic.linux.gcc.armv6j_hardfp.REMOVED.git-id
@@ -1 +1 @@
-4e13e8eb6afaaa783a650a7a9b305c092511996f
\ No newline at end of file
+3565dfed925394e3550b0435679db32ced7e5274
\ No newline at end of file