fix bug in TestCompilationTick