diff --git a/hermit/usr/openmpbench/Makefile.defs b/hermit/usr/openmpbench/Makefile.defs
index 4d4e65779..31893bc9c 100644
--- a/hermit/usr/openmpbench/Makefile.defs
+++ b/hermit/usr/openmpbench/Makefile.defs
@@ -11,4 +11,4 @@ LIBS =
 
 override STRIP_DEBUG = --strip-debug #--strip-unneeded
 KEEP_DEBUG = --only-keep-debug
-OBJCOPY_FLAGS = -j .mboot -j .ktext -j .kdata -j .kbss -j .tbss -j .tdata -j .fini -j .init -j .ctors -j .dtors -j .text -j .data -j .rodata -j .bss -j .percore -j .eh_frame -j .jcr -j .got.plt -O binary 
+OBJCOPY_FLAGS = -j .mboot -j .ktext -j .kdata -j .kbss -j .tbss -j .tdata -j .fini -j .init -j .ctors -j .dtors -j .text -j .data -j .rodata -j .bss -j .percore -j .eh_frame -j .jcr -j .got.plt -j .preinit_array -j .init_array -j .fini_array -j .gcc_except_table -O binary