add drop_execv() utility