further fixed in exec.cpp: code is broken again