Updated INSTALL to reflect that official SOX is now used