static library after renaming it. This is not necessary but harmless on other platforms. The patch is contributed by Javier Pedemonte <pedemonte@alimni.utexas.net>. r=wtc,cls. git-svn-id: svn://10.0.0.236/trunk@114283 18797224-902f-48f8-a5cc-f745e15eee43