stellarium: update to version 0.12.4