c'est vraiment le _nostub qui se fout du kernel, là!