[Truffle] Workaround for limited unicode handling in Truffle's source manager.