skyped.py: also sanitize log file output