Adol-C: upgrade to 2.5.2.