gravit: this package can be built with any 5.x version of lua