I don't know, he must have modded MyHouse.wad in order to make it work with Peppino or he extracted Peppino into its own mini-mod. Either way I don't know.
