Removed ex_dbg.h, merged into ex.h.