Fix path capitalization problem in previous commit.