Support HipHop when executing PHP