Use Int64 for mtimes

Otherwise, 32-bit systems give: Failure "int_of_string"