In debugMode we use now the file xboard.debug instead of stderr