[Formatting] repair format settings on Linux