[PPL-devel] Building still fails on ARM