Admin/mira.py

     keep_results = kwargs.get('keep_results', True)
     timeout = kwargs.get('timeout', DEFAULT_TIMEOUT)
 
     isabelle_home = paths[0]
 
+    home_user_dir = path.join(isabelle_home, 'home_user')
+    os.makedirs(home_user_dir)
+
     # copy over build results from dependencies
     heap_dir = path.join(isabelle_home, 'heaps')
     classes_dir = path.join(heap_dir, 'classes')
-    home_user_dir = path.join(isabelle_home, 'home_user')
     os.makedirs(classes_dir)
 
     for dep_path in dep_paths:
         subprocess.check_call(['cp', '-a'] + glob(dep_path + '/*') + [heap_dir])