Merge branch 'jk/execv-dashed-external'