Avoid web-fpco 0.1.1