Fixes two bugs:
1. default locale having influence on trace file output
2. decimals on timestamp all zero