Added --with-tools premake switch.