replaced c-style casts with c++ style in several header files