Fixes to exec.c by Micha Nasriachi