Re: [opensuse-arm] gnutls armv7l build failure