setup.py and some housekeeping