Delete execute.cc~