C++ implementation of DJB's redo build tool
