luarocks: lua library name under windows