[PPL-devel] Can't find GMP, but it's installed