[PPL-devel] PPL 0.10 build fails