[Bug 1389651] the date/time format of gnome-shell top panel is incorrect