Fix silly pipe issue in install-world.sh, duh