Small change to headers (proxymodule.h and idpmodule.h)