Merge branch 'exec-instruction' into pu

* branch exec-instruction:
  Add an "exec" instruction
  Avoid opening the same file twice