util.str_to_time: fixed broken conversion of short dates