Define WCOREDUMP in salvsync-server.c