We should use append -4.0 to the directory name.
Created attachment 236646 [details] Patch
Comment on attachment 236646 [details] Patch Makes sense indeed :)
Committed r172622: <http://trac.webkit.org/changeset/172622>