Update microlualib.h