How to change the format of the time and date in Ubuntu's clock applet