lua51: hardcode version number