Hackery to get setup.py to skip miniREST -- which it used to omit