Revert "Remove Mafia plugin"

This reverts commit 7a6916243834837a8e58e6a723061a20d4bf744b.