Fix exec redef bug.