setup_mm_packages.sh: handle weird terminals