Adol-C: upgrade to 2.5.1.