--- nmap-6.25.orig/Target.cc	2012-08-14 18:36:25.000000000 +0200
+++ nmap-6.25/Target.cc	2013-07-12 13:59:19.000000000 +0200
@@ -162,10 +162,12 @@ void Target::Recycle() {
 
 Target::~Target() {
   FreeInternal();
+#ifndef NOLUA
   while (!scriptResults.empty()) {
     scriptResults.front().clear();
     scriptResults.pop_front();
   }
+#endif
 }
 
 void Target::FreeInternal() {