portable, simpler date formatting