use UTC conversion routines supplied with CDF