Another buid fix for master.cfg.