Replace fake PHP calls with real PHP counters in compile.sh and re-compile