aldor: update to 1.2.0 version in development.