Tweak astro/stellarium version 0.12.3