Fixed issue when using a python plugin in the yosys shell