make Linux's filesystem happy