Use 24-hour clock in xmobar