Resurrect lua 5.1.x as lua51 (still required by some pkgs).