Redirect output both to file and stdout