stab.py: all fixed needed to run it