Fix verbose printing
Add default toolchain