Fixing filename because linux is case-sensitive.