* main_codequery.ml: make it work ...