Logging without log device: do not hardcode kajongg.log, this might just as well be kajonggserver.log