Ok, thank you! I figure what file. Now I am on ARM linux (raspberry) and so I wait for return to my AMD setup. In case you want to experiment ;-) an ARM64 version would be very popular :-)
