changed os.getshortpath Lua function; added unicode support to Lua dofile