I'm not assuming anything, this is from a ticket for fdroid on google: > Our machines run older server grade CPUs, that indeed do not support the newer SSE4_1

I'm not assuming anything, this is from a ticket for fdroid on google: > Our machines run older server grade CPUs, that indeed do not support the newer SSE4_1 and SSSE3.[0] I.e. the problem is because fdroid have older CPUs, newer ones would be able to build. I only mentioned it in terms of what the plans to fix might be. I have zero idea if upgrading servers is the best way to go. [0] https://issuetracker.google.com/issues/438515318?pli=1 https://issuetracker.google.com/issues/438515318?pli=1