Change provider of precise64; need kernel 3.8