Updating execute.cc. Didn't fix our problem though (but I didn't expect this fix to)