get rid of some compiler warnings (incompatible pointer type and implicit declaration) introduced by the two new features (encapsulate and abstractionsaving)