Cosmetic change: static library name cleaned up.