use port 8080 for web and require pip web.py