Fix execv{e} buffer size.

    We were allocating enough, but truncating it. Oops.