rolling back lua dev install, needed by luarocks.