Added stringtok.cc to includes