add saxon lib