add virtual destructor
rename file ext name to is