Fixed compilation bug that --lazytest missed