Minimized libraries for binarySearchPRO