Re: [PPL-devel] Bug#499746: Building still fails on ARM