Create microlualib.h