More portable `sed` invocation.