adding an include file for convenience in c++