Searching in bl2/bin/txl