got rid of unused old refcntr.h
Authored by: Jean-Francois Dockes 2018-05-31
Parent(s): [be7b83]
Child(ren): [0c71d0][dae381]