[Ticket #12] Robustify setup.py