Merge pull request #4298 from tautschnig/linking-fix-1

Add missing include file [blocks: #4056]

Author: tautschnig

regression/cbmc-cover/built-ins2/main.c

@@ -1,3 +1,5 @@
+#include <string.h>
+
 struct mystruct {
   int x;
   char y;