Update for Stellarium 0.12.2