log to file instead of cout