diff --git a/hermit/usr/libgomp/libgomp.a b/hermit/usr/libgomp/libgomp.a deleted file mode 100644 index 5dcf51149..000000000 Binary files a/hermit/usr/libgomp/libgomp.a and /dev/null differ