* Revert "protect lua.h from being included from installations outside our repo"

This reverts commit df18100d0eaee0eb976092287f565aaea692e85f.