re-add deprecated constructor to ResettableCounter