Add note to INSTALL explaining how to use libraries from /usr/local.