Specify int64 for RunTimeout, for 32 bit platform's benefit