stellarium: version bumped to 0.12.4.