Bug 874279, fix fuzzing on linux32, r=gkw