Build fix for the NoGUI build.