backend.py: fix missing import