nohup does not work on mac
More work on auto build
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.
More work on automated build and verification