actually log to a file