#3706: fix error message for wrong exec() argument type. R=Guido.
1 file changed