Use standard sed syntax for translating filenames

Use standard sed syntax for translating filenames #2213