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

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