Sources containing non-ascii characters should be ignored, and should generate warnings.