re-include the dist modules pkiconsole and remotep11