Fix bug in stabs filename encoding where backslashes are present.