logging to file rather than stdout