Fixed tools compilation.

Fixes errors introduced in 081e7ddd028d9382bd52c2b117dae6b6f84225e5.