update CLIPSJNI to 64-bit