Tiny webkit fix for -D temporary