Merge pull request #10313 from alalek:rename_fix
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Fri, 15 Dec 2017 18:40:22 +0000 (21:40 +0300)
committerGitHub <noreply@github.com>
Fri, 15 Dec 2017 18:40:22 +0000 (21:40 +0300)
Fix file names


Trivial merge