refine 00_compile.t