extra/stellarium to 0.13.1-1