* main_codequery.ml: compiles again