added ABI compatibility verification for DSO modules.