quartus.py: fix missing import