Removed dllimport attribute from one of the svcomp benchmarks that was causing problems compiling it on cygwin with clang.