As long as we are correcting case, the subdir is normally named `System32`. But again this really belongs in a separate PR.