Fix a bug in library.mk.