Fix problems with capitalization in file names

Change-Id: I970888cd277dfc25dc93f04d8f4a6b6da4b639ba