Fix setup.py; Update vagrant