471f50c864
'make clean; make' failed in tools because necessary configure generated files were removed. The failure manifested itself with string_to_flags being undefined in binstall.