[webkit-dev] Platform.h vs. makefiles