On (2015-04-23 18:13 +0200), Raphael Mazelier wrote: > Correct me if I'm wrong but I think that only the kernel is boot in 64bits > mode, but rpd and other problem still run 32bits.? Since 13.2 you could toggle rpd to 64b mode. -- ++ytti