Genie:  Remove obsolete exec_handle.hh