Fix github uri for lua