dummychar added to typescripts -> hack to save in UTF-8 with BOM