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