mafia-tools/version