stellarium: version bumped to 0.12.2.