Glad it worked. DWC changed from using uncompressed files to gzipped files a few versions ago, so I expect the web server was picking up an older uncompressed file in preference to the newer compressed one.