long_header.py: add the missing imports