It seems it wasn't handled properly neither by Git nor by some filesystems, so we prefer playing on the safe side.