return back libsupp.h header file, it is used by mathlib