Fix to new executable allocation code (fixed print002 etc.)