Add a 'make check' that checks php compilation.