plugin_man.py: fix missing import