Removed leftover .a file.

This fixes #2953.