[BUG] Script titles case checked out by Script Studio

[SpontanCombust]

Describe the bug
Scripts that get checked out in Script Studio have their name automatically converted to all lower-case. This causes anyone migrating from Script Studio to WIDE to get "symbol already defined" error due to inconsistent names of scripts.

To Reproduce

1. Create a project using REDkit
2. Use Script Studio to check out a script file that originally in content0 contains any upper-case letters in its name. This operation should result in import of this file, but with name all in lower-case.
3. Open the project in WIDE
4. Observe "symbol already defined" errors popping up due to difference in colliding script paths

Expected behavior
Casing of files should be ignored in script path resolution.

Additional context
This lower-casing operation seems to happen in script compiler's backend, as error messages printed from compilation always show scripts with their names all in lower case.