Avoid "<<<" bashism in /bin/sh script

"<<<" doesn't work with /bin/sh, it's bash-specific, so use echo instead.