Fixed #4484 (1.58: new crash for linux kernel code)