Match mspgcc-libc filename.

INSTALL.md was outdated.