diff --git a/contrib/onelab/python/onelab.py b/contrib/onelab/python/onelab.py
index 0e7ea247448eb4db4dad229fd587c557674a2298..44facd54dc27c9987e198e79ccaff0fdaf24cf83 100755
--- a/contrib/onelab/python/onelab.py
+++ b/contrib/onelab/python/onelab.py
@@ -55,17 +55,15 @@ def path(ref, inp=''):
 
 class pth:
   def path(self, ref, inp=''):
-    p = path(ref, inp='')
-    if not os.path.exists():
-      print('The path %s does not exist' %(p))
+    p = path(ref,inp)
+    if not os.path.exists(p):
+      print('PTH error: The path %s does not exist' %(p))
       self.errors += 1
     return p
 
-  def check_file(self, filename, workdir):
-    if not file_exist(workdir + os.sep + filename):
-      print('The file %s does not exist in %s' %(filename, workdir))
-      self.errors += 1
-
+  def copy(self, here, there):
+    os.system('cp '+ here + ' ' + there)
+    
   def __init__(self) :
     self.errors = 0