require it and it does't seem to pull in any major dependencies. The alternative would have been to hack tools/python/setup.py to conditionally compile the flask stuff. Signed-off-by: Ian Campbell <ian.campbell@xensource.com>