replaced c-style casts with c++ style in dis library