Version 0.7.2 (and rid setup.py of old stuff)