Hi John, they take the source and recompile it (with a slightly different instruction set, but that shouldn't matter). So if you take the source deb and compile it by yourself, everything should be fine. Best Regards, Maxi