Fix bug #973: use case-insensitive filename comparison, if "xdebug.case_sensitive_fs" is false.