fix compilation error due to change in PortalInterface::exec(void *)