Update ext-proto.c

 change lua head