mypy

9744d25f - Try to fix build on older pythons