WebPositive: Fix build

I'm not so happy with this solution, but I'm out of ideas for a better
one.