bugfix in generate_pyxelmask.py