updated theme3to2.py, for easier use