Merge branch 'jk/execv-dashed-external' into maint