No need to keep book in dist_add
Rm hack with path, put patch for isis for 32 bit
Rm a hack, add patch for ISIS 32 bit.