Fix arguments to execute.py