Cast NULL to a pointer type in the execl() call, to avoid a compiler warning on