*** Please do _NOT_ delete this file. The file MacOS/XBoard depends on it. ***