It is fixed with https://github.com/micropython/micropython/issues/4674
python3 causes other problems (see earlier) so I have to force the use of python2, which was causing the problem in mpy_tools.py.
It is fixed with https://github.com/micropython/micropython/issues/4674