* main_scheck.ml: use the default generic checker for php, not the specific one