What a strange coincidence that after something like 6 years of it being case sensitive, both of you hit this in the span of a few weeks… yeah, we’ll make it case insensitive for 7.7.1.
Also, the “faulted server” error is very misleading, but when you ask for a server that doesn’t exist, you get… a faulted server. 
Regards,