Haha! Linux lets you strip leading zeros when formatting dates!