setup.py: stuff from antoine