extra/lua51 now is the actual lua51 package and can be installed side by side with the regula lua package