A much faster reading in of CCNF patch experts (using binary files instead of ascii ones).