Dimensional regularization of a compact dimension