Summary of changes: 7b4ed8a... silence stdout/stderr to prevent redundant flooding of /var (*) e78e506... Instead print the log filename to stdout, in case a user (*) 7809748... Add patch12 (*) 02ac664... Fix the date (*) (*) This commit already existed in another branch; no separate mail sent