CTAN package update: mathdots