Merge pull request #37 from dmichiels/master

re-introduction of exec