y2038: globally rename compat_time to old_time32