On 31/07/19 13:16, Thomas Huth wrote: > Or maybe even better: Let's move this file into lib/x86_64/ and > lib/aarch64/ instead, since there is more different code between the > architectures here than common code. All good solutions, just choose one. :)) Paolo
