Print timing info through install-world.sh