ma su linux è necessario usare programmi di defrag?