static void segv_handler(int sig)
{
char cmd[100];
- snprintf(cmd, sizeof(cmd), "/home/fics/bin/backtrace %d > /home/fics/chessd/segv_%d 2>&1",
+ snprintf(cmd, sizeof(cmd), "/home/mics/bin/backtrace %d > /home/mics/chessd/segv_%d 2>&1",
(int)getpid(), (int)getpid());
system(cmd);
_exit(1);