Add `dehint' option to library.