Added support for ECL 12.12.1 - lots of improvements!
Ignore-this: ca11b0358015cfd046cf0a44a359ed25 darcs-hash:5592e88d4c6284f79974d99677b8f64e7241ced6
Ignore-this: ca11b0358015cfd046cf0a44a359ed25 darcs-hash:5592e88d4c6284f79974d99677b8f64e7241ced6