Update exec-all.h