New version of make_banner.sh that doesn't require bash.