Use default kernel 

Haven't ironed out blasphemy issue