Under certain conditions, Windows' PATH variable could still be duplicated with different casing in the toolchain.