A simpler implementation for str2utc() and utc2str()