Replace at setup time by the install script.