On Linux, use more compact tabs