Hardcoded timer display to fix strftime on some systems