Hack to rename directories in git
Fix file name capitalisation