workaround for lua5.1