fix using 'echo' command in spatch script