pipe through sed instead

addresses: https://github.com/RIOT-OS/RIOT/pull/778#discussion_r10041955