bugfix: now the file logging works!