configure: slightly more portable way to do multiline echo