LOG: log to stdout for now, at least until real logging arrives