Tools for compilation