let temp_dir = 
  if os="Unix" then (path_avispa^"/testsuite/results/")
  else (path_avispa^"\\testsuite\\results\\")