I compiled from head and it solved the problem. You can close the ticket. Thanks a lot!
x64 on Raspberry Pi crashes in configure keyset