Switching to tinylog instead of custom stdout lock