ctime-alike for Martian time