Work around `sed`'s issue with file permissions.