@@ -371,12 +371,12 @@
     ;; extract logpro from testconfig and write them to files in test run dir
     (for-each
      (lambda (logprodat)
        (match logprodat
 	      ((name content)
-	       (debug:print-info 2 *default-log-port* "Creating logpro file "(current-directory)"/"name)
-	       (with-output-to-file name
+	       (debug:print-info 2 *default-log-port* "Creating logpro file "(current-directory)"/"name".logpro")
+	       (with-output-to-file (conc name".logpro")
 		 (lambda ()
 		   (print content)
 		   ;; (change-file-mode name (bitwise-ior perm/irwxg perm/irwxu))
 		   )))
 	      (else