build_lagrange.md: worked out a reliable config for PHP