build.sh: cleanup makeinfo prompt