echo is dumb with /bin/sh