* main_scheck.ml: fix where we use skip_code