edited exec.cpp header