diff --git a/contrib/onelab/python/onelab.py b/contrib/onelab/python/onelab.py
index bee240472ae1e682ba6aa0d620bae2009af7ab1e..ba76aacb55e8cc7d12a9f2f0656ba66cd95a87ca 100755
--- a/contrib/onelab/python/onelab.py
+++ b/contrib/onelab/python/onelab.py
@@ -28,7 +28,7 @@ Please report all bugs and problems to the public mailing list
 """
 
 import socket, struct, os, sys, subprocess, time
-_VERSION = '1.2'
+_VERSION = '1.3'
 
 def path(dirname, inp):
   # dirname is a directory, can be empty