* Ouch: found a bug where re-exec from changed makefiles turned off