[PPL-devel] checking for version 0.10 of PPL... no