Update astro/stellarium to version 0.12.4